大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Principles of Computer-Aided Design 的图书(共12196本)

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

0
索取号:
作者:Beckert、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Theorem Proving in Higher Order Logics [electronic resource] : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings

0
索取号:
作者:Hurd、 Joe.、Melham、 Tom.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

KI 2005: Advances in Artificial Intelligence [electronic resource] : 28th Annual German Conference on AI, KI 2005, Koblenz, Germany, September 11-14, 2005. Proceedings

0
索取号:
作者:Furbach、 Ulrich.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Text, Speech and Dialogue [electronic resource] : 8th International Conference, TSD 2005, Karlovy Vary, Czech Republic, September 12-15, 2005. Proceedings

0
索取号:
作者:Matou拧ek、 V谩clav.、Mautner、 Pavel.、Pavelka、 Tom谩拧.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Artificial Life [electronic resource] : 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005. Proceedings

0
索取号:
作者:Capcarr猫re、 Mathieu S.、Freitas、 Alex A.、Bentley、 Peter J.、Johnson、 Colin G.、Timmis、 Jon.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Web and Communication Technologies and Internet-Related Social Issues - HSI 2005 [electronic resource] : 3rd International Conference on Human.Society@Internet, Tokyo, Japan, July 27-29, 2005. Proceedings

0
索取号:
作者:Shimojo、 Shinji.、Ichii、 Shingo.、Ling、 Tok-Wang.、Song、 Kwan-Ho.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computer Music Modeling and Retrieval [electronic resource] : Second International Symposium, CMMR 2004, Esbjerg, Denmark, May 26-29, 2004. Revised Papers

0
索取号:
作者:Wiil、 Uffe Kock.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computing and Combinatorics [electronic resource] : 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005. Proceedings

0
索取号:
作者:Wang、 Lusheng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Computational Fluid Dynamics 2004 [electronic resource] : Proceedings of the Third International Conference on Computational Fluid Dynamics, ICCFD3, Toronto, 12鈥ᶠJuly 2004

0
索取号:
作者:Groth、 Clinton.、Zingg、 David W.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Trust, Privacy, and Security in Digital Business [electronic resource] : Second International Conference, TrustBus 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings

0
索取号:
作者:Katsikas、 Sokratis.、L贸pez、 Javier.、Pernul、 G眉nther.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Satellite Events at the MoDELS 2005 Conference [electronic resource] : MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers

0
索取号:
作者:Bruel、 Jean-Michel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fuzzy Control [electronic resource] : Fundamentals, Stability and Design of Fuzzy Controllers

0
索取号:
作者:Michels、 Kai.、Klawonn、 Frank.、Kruse、 Rudolf.、N眉rnberger、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Evolutionary Algorithms [electronic resource] : Theory, Design and Practice

0
索取号:
作者:Ahn、 Chang Wook.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Control of Uncertain Systems: Modelling, Approximation, and Design [electronic resource] : A Workshop on the Occasion of Keith Glover鈥檚 60th Birthday

0
索取号:
作者:Francis、 Bruce A.、Smith、 Malcolm C.、Willems、 Jan C.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Supported Cooperative Work in Design I [electronic resource] : 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

0
索取号:
作者:Shen、 Weiming.、Lin、 Zongkai.、Barth猫s、 Jean-Paul A.、Li、 Tangqiu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Universal Access in Health Telematics [electronic resource] : A Design Code of Practice

0
索取号:
作者:Stephanidis、 Constantine.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类